tetrahedron atop octahedron